International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 May 2008
Summary:
The Binary Decision Diagram technology is a good alternative to the classical minimal cutsets approach to assess Fault Trees and Event Trees issued from Probabilistic Safety Assessment studies of the nuclear industry. A key issue in the efficiency of this technique stands in the choice of a good variable ordering. In this article, we explore a new idea for the design of ordering heuristics: the use of minimal cutsets calculated with a classical algorithm in order to group variables. We propose several ordering heuristics to be applied on a sum-of-products. We discuss whether these heuristics could be extended to general formulae.
Keywords: Probabilistic Safety Assessment, Minimal Cutsets, Binary Decision Diagrams, Variable Ordering Heuristics
Published in PSAM 2008, ISBN: 978-988-99791-5-7
Publication date: 2008-05-23.
Citation:
C. Ibáñez, A. Rauzy, Variable ordering heuristics for BDD based on minimal cutsets, International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 May 2008. In: PSAM 2008: 9th International Conference on Probabilistic Safety Assessment and Management 2008, ISBN: 978-988-99791-5-7